6

A Shimming Scheme for Active Shielding

Year:
2014
Language:
english
File:
PDF, 453 KB
english, 2014
8

RASP and ASP as a fragment of linear logic

Year:
2013
Language:
english
File:
PDF, 318 KB
english, 2013
21

Goals and Benchmarks for Automated Map Reasoning

Year:
2000
Language:
english
File:
PDF, 625 KB
english, 2000
24

Three-variable statements of set-pairing

Year:
2004
Language:
english
File:
PDF, 402 KB
english, 2004
25

An Agg Application Supporting Visual Reasoning

Year:
2001
Language:
english
File:
PDF, 343 KB
english, 2001
28

T-Resolution: Refinements and Model Elimination

Year:
1999
Language:
english
File:
PDF, 297 KB
english, 1999
45

Comparative uncertainty: theory and automation

Year:
2008
Language:
english
File:
PDF, 503 KB
english, 2008
49

Decidability results for sets with atoms

Year:
2006
Language:
english
File:
PDF, 511 KB
english, 2006